Books by author Martin Leucker

Showing 1 – 8 out of 8 results

Page 1. out of 1

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker | Springer, Berlin, 2023

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

102.67 €

Sale 7 %
You save 8.60 €
Buy
Formal Methods in Outer Space

Martin Leucker, Yli?s Falcone | Springer Nature Switzerland AG, 2021

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

56.58 €

Sale 7 %
You save 4.75 €
Buy
Theoretical Aspects of Computing - ICTAC 2009

Martin Leucker, Charles Carroll Morgan | Springer, Berlin, 2009

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.53 €

Sale 7 %
You save 4.27 €
Buy
Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia | Springer International Publishing AG, 2015

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.53 €

Sale 7 %
You save 4.27 €
Buy
Runtime Verification

Martin Leucker | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.53 €

Sale 7 %
You save 4.27 €
Buy
Formal Methods: Applications and Technology

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.53 €

Sale 7 %
You save 4.27 €
Buy
Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker | Springer Nature B.V., 2023

In stock at our supplier - Shipping in 10 - 18 days

Language: English

Binding: Paperback

56.78 €

Sale 0 %
You save 0.01 €
Buy
Runtime Verification

Christian Colombo, Martin Leucker | Springer Nature Switzerland AG, 2018

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

77.05 €

Sale 7 %
You save 6.48 €
Buy